1. Einführung in die Informatik :
Author: von Fred Kröger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Health Informatics.,Medicine et Public Health.,Software Engineering/Programming and Operating Systems.
2. Temporal Logic of Programs
Author: by Fred Kröger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
9
.
L63
B947
1987
3. Temporal logic and state systems
Author: Kroger, Fred, 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4K76
4. Temporal logic and state systems
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
K76
2008
5. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
6. Temporal logic of programs
Author: KROGER,FRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
6
.
K753
7. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
8. Temporal logic of programs
Author: Kroger, Fred
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
